$\forall$${\it the\_es}$:ES, $l$:IdLnk, $e$:E. haslnk($l$;$e$) $\in$ $\mathbb{B}$